Systèmes pair-à-pair sémantiques et extension non conservative d’une base de connaissances Peer-to-Peer Semantic Systems and Non Conservative Extension of a Knowledge Base

Cet article montre en quoi la notion d’extension non conservative d’une base de connaissances (KB) est importante dans les sytèmes d’inférence pair-àpair (P2PIS), aussi connus sous le nom de systèmes pair-à-pair sémantiques. Cette notion est utile à un pair afin de détecter si (une partie de) sa KB est corrompue par un P2PIS ou pour apprendre du P2PIS de nouvelles connaissances sur son propre domaine d’application. Cette notion est d’autant plus importante qu’elle a des liens étroits avec la confidentialité des connaissances d’un pair au sein d’un P2PIS et avec la qualité de service fournie par un P2PIS. Nous étudions ici, du point de vue théorique et de l’algorithmique décentralisée, les deux problèmes suivants : (i) décider si un P2PIS est une extension conservative d’un pair donné et (ii) calculer les témoins d’une possible corruption de la KB d’un pair donné par un P2PIS, de sorte à pouvoir l’empêcher. Nous considérons des P2PIS passant à l’échelle d’un millier de pairs et dont l’utilité a déjà été démontrée en Intelligence Artificielle et en Bases de Données. Mots-clefs : systèmes pair-à-pair sémantiques, extension (non) conservative, logique propositionnelle, déduction, algorithmique décentralisée. Abstract